18.67/20.65	unsat
