18.67/20.01	unsat
