5.69/6.40	unsat
