5.38/6.32	unsat
