17.99/21.18	unsat
