5.38/6.68	unsat
