12.38/14.91	unsat
