8.63/11.49	unsat
