1.38/4.86	unsat
