6.24/8.03	unsat
