18.96/21.10	unsat
