21.43/21.57	unsat
