12.48/13.01	unsat
