21.77/25.03	unsat
