22.79/26.21	unsat
