6.58/11.21	unsat
