6.68/11.27	unsat
