11.89/14.54	unsat
