12.89/13.26	unsat
