5.89/7.86	unsat
