16.94/20.27	unsat
