21.26/23.14	unsat
