17.99/20.33	unsat
