10.68/18.27	unsat
