6.68/10.42	unsat
