10.48/12.64	unsat
