20.54/20.66	unsat
