5.87/8.79	unsat
