18.95/21.38	unsat
