18.55/20.79	unsat
