18.54/20.13	unsat
