12.38/15.62	unsat
