18.67/18.77	unsat
