5.87/6.47	unsat
