10.40/14.84	unsat
