5.88/8.40	unsat
