17.72/21.44	unsat
