18.24/20.44	unsat
