1.38/6.38	unsat
