8.03/8.19	unsat
