6.85/12.21	unsat
