12.46/15.83	unsat
