12.46/15.76	unsat
