12.43/20.42	unsat
