6.57/7.03	unsat
