21.24/21.39	unsat
