9.64/14.97	unsat
