18.67/18.79	unsat
