17.63/20.40	unsat
