21.86/21.91	unsat
