5.87/8.03	unsat
