5.77/6.02	unsat
