23.33/31.61	unsat
