11.46/14.85	unsat
