13.63/18.72	unsat
