4.87/8.07	unsat
