5.08/6.46	unsat
