21.77/23.45	unsat
