18.56/20.79	unsat
