5.87/6.57	unsat
