10.26/10.44	unsat
