8.26/11.44	unsat
