5.87/7.03	unsat
