1.38/3.30	unsat
