21.86/21.95	unsat
