23.19/36.54	unsat
