5.87/8.42	unsat
