1.38/3.13	unsat
