1.38/4.03	unsat
