9.48/11.79	unsat
