11.38/18.81	unsat
