18.99/20.95	unsat
