18.85/21.46	unsat
