100.34/102.69	unsat
