5.59/8.03	unsat
