15.96/17.27	unsat
